Using improved resource interfaces to formally describe adaptability in embedded systems

Using Mobile Code Interfaces to Control Ubiquitous Embedded Systems

Using Protocol Buffers for Resource-Constrained Distributed Embedded Systems

Protocol Buffers are a widely used, robust and efficient data interchange format contributed and maintained by Google. Specifications of custom messages, fields and enumerations are comfortably defined in the Proto language and then compiled to a large variety of target programming languages like C++, Java and Python. This makes Protocol Buffers an excellent choice when heterogeneous system pla...

Richer Interfaces for Certification of Embedded Systems

The problem: In computing systems, typically, different software tasks share resources. For instance, in a modern car, there are several (in hundreds) computing units executing multiple software tasks. As an example shown in the figure, two control loops share one such unit. For a car to be certified to be safe, formal verification of timing constraints is necessary; for instance that break mec...

Adaptability in Mobile Agent Systems using Reflection

We present in this paper our current investigations dealing with reflection for code mobility. Our study is about reifying different concerns of mobile agent systems in order to ease their customization. Reflection enables the construction of open mobile agent systems and helps separation of concerns. Following previous ideas introduced for reflective middleware, we consider run-time adaptabili...

Using Constraints to Describe Source Contents in Data Integration Systems

sources to answer the query. In such an environment, sources can have various constraints on their contents, which the system can use in query processing and optimization.2 With this in mind, my colleagues and I at the University of California, Irvine’s Raccoon Project looked at how to best describe these constraints so that they can be used to answer queries. We classified various constraints;...